Constraint-Based Reasoning on Probabilistic Choice Operators

Probabilistic Concurrent Constraint Programming (PCCP) extends concurrent constraint languages with a probabilistic choice operator. This operator has proved to be useful in implementing randomized algorithms as well as stochastic processes. In this report, we present a filtering algorithm dedicated to the probabilistic choice operator which permits to address new kind of applications where probabilistic choices are partially known. This filtering algorithm helps to deduce information on the possible values of the probabilistic choice without requiring its full valuation. An implementation under the form of a library of SICStus Prolog is presented. Key-words: Probabilistic Concurrent Constraint Programming, Filtering Algorithm ∗ This work is part of the GENETTA project granted by the Brittany region. in ria -0 01 40 88 6, v er si on 2 24 A pr 2 00 7 Une approche contrainte pour raisonner avec un choix probabiliste partiellement connu (version tendue Résumé : La Programmation Concurrente par Contraintes Probabilistes (PCCP) tend la Programmation Concurrente par Contraintes par un oprateur de choix probabiliste. Cet oprateur a prouv son utilit par l’implantation d’algorithmes “randomiss” ainsi que dans la modlisation de processus stochastiques. Dans ce rapport, nous prsentons un nouvel algorithme de filtrage ddi l’oprateur de choix probabiliste nous permettant de modliser de nouvelles applications pour lesquelles les choix probabilistes ne sont que partiellement connus. Cet algorithme de filtrage nous permet d’obtenir de l’information sur les valeurs pouvant tre prises par le choix probabilistes tout en n’ayant qu’une connaissance partielle sur celui-ci. Une implantation prenant la forme d’une nouvelle librairie de SICStus Prolog est dcrite. Mots-clés : Programmation Concurrente par Contraintes Probabilistes, Algorithme de Filtrage in ria -0 01 40 88 6, v er si on 2 24 A pr 2 00 7 Constraint-Based Reasoning on Probabilistic Choice partially known 3